Toy theorem